/**
 * Driver functions for the VFCM device
 *
 * Copyright 2010 Delft University of Technology
 */

#ifndef __HW_VFCM_H__
#define __HW_VFCM_H__

void mon_sync(int image);

void hw_vfcm_clk_gate(unsigned int t);
void hw_vfcm_set_freq(unsigned int freq_level);

#endif
